1. Applications of categories in computer science :
پدیدآورنده : edited by M.P. Fourman, P.T. Johnstone, A.M. Pitts.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Categories (Mathematics), Congresses.,Computer science-- Mathematics, Congresses.
رده :
QA76
.
9
.
M35
L57
1991
2. Biological drug products :
پدیدآورنده : edited by Wei Wang, Manmohan Singh.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Biological products.,Biologicals.,Drug development.
رده :
QV241
.
E358
2014
3. Categorical logic and type theory
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Type theory. ; Categories (Mathematics) ;
4. Categorical logic and type theory
پدیدآورنده : Jacobs, Bart
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Type theory,، Categories )Mathematics(
رده :
QA
9
.
J22
5. Category theory and computer science :
پدیدآورنده : Eugenio Moggi, Giuseppe Rosolini (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Categories (Mathematics), Congresses.,Computer science-- Mathematics, Congresses.,Categorieën (wiskunde),Categories (Mathematics),Catégories (mathématiques)-- Congrès.,Computer science-- Mathematics.,Computers.,Informatik,Informatique-- Mathématiques-- Congrès.,Kategorientheorie,Kongress,Theoretische Informatik
رده :
QA76
.
9
.
M35
C38
1997
6. Christianity in late antiquity, 300-450 C.E.
پدیدآورنده : Bart D. Ehrman, Andrew S. Jacobs
کتابخانه: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
موضوع : Christian literature, Early
رده :
BR
,
63
,.
C47
,
2004
7. Data protection in a profiled world
پدیدآورنده : Conference on Privacy and Data Protection)2nd :9002 :Brussels, Belgium(,Serge Gutwirth, Yves Poullet, Paul De Hert )editors(
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Data protection, Law and legislation, Congresses,، Privacy, Right of, Congresses
رده :
K
3264
.
C65
C66
2009
8. Discourse, of course :
پدیدآورنده : edited by Jan Renkema.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Discourse analysis, Textbooks.,Discourse analysis.,Discourse analysis.,LANGUAGE ARTS & DISCIPLINES-- Vocabulary.,Onderzoek.,REFERENCE.
رده :
P302
.
D54884
2009eb
9. Formal Methods for Open Object-based Distributed Systems V Ifip Tc6
پدیدآورنده : Wg6.1 Fifth International Conference on Formal Methods for Open Object-based Distributed Systems (Fmoods 2002) March 20-22, 2002, Enschede.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
TK7895
.
M5
W445
2013
10. Genocide, war crimes, and the West :
پدیدآورنده : edited by Adam Jones
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Genocide, Case studies,Geopolitics, Case studies,Human rights, Case studies,Imperialism, Case studies,Racism, Case studies,War crimes, Case studies,Europe, Foreign relations, Case studies,United States, Foreign relations, Case studies, 0, 0
11. Innovating strategy process /
پدیدآورنده : edited by Steven W. Floyd [and others].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Management.,Strategic planning.,Innovationsmanagement.,Innovationsmanagement.,Management.,Prozessmanagement.,Strategic planning.,Strategisches Management.,Strategisches Management.
رده :
HD30
.
28
.
I538
2005
12. Introduction to Coalgebra
پدیدآورنده : \ Bart Jacobs
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Associative algebras,Universal enveloping algebras.
رده :
E-Book
,
13. Legionella :
پدیدآورنده : edited by Nicholas Cianciotto.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
RC152
.
7
E358
2007
14. Policies and research in identity management :
پدیدآورنده : Simone Fischer-Hübner, Elisabeth de Leeuw, Chris Mitchell (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks -- Access control -- Congresses.,Computer networks -- Security measures -- Congresses.,Data encryption (Computer science) -- Congresses.
رده :
QA76
.
9
.
A25
S566
2013
15. Regulation and economics
پدیدآورنده : / edited by Roger van den Bergh, Alessio M. Pacces
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
رده :
K3840
.
R4354
2012
16. Technology In Transition: A. D. 300- 650
پدیدآورنده : / Edited By Luke Lavan, Enrico Zanini And Alexander Sarantis : With The Assistance of The ine Jacobs, Dirk Booms, Bart De Graeve
کتابخانه: Library of Islamic Encyclopedia Foundation (Tehran)
موضوع : Technology -- Mediterranean Region -- History., Mediterranean Region -- Antiquities, Mediterranean Region -- History,تکنولوژی -- مدیترانه، نواحی -- تاریخ
رده :
T16
.
T43
17. Zeolite synthesis :
پدیدآورنده : Mario L. Occelli, editor, Harry E. Robson, editor
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Zeolites, Congresses,Zeolites, Congresses
رده :
TP245
.
S5
Z387
1989